Thực đơn
Hệ tiên đề Peano Phát biểuKhi Peano phát biểu các tiên đề của mình, ngôn ngữ của logic toán học đang ở giai đoạn sơ khai. Hệ thống ký hiệu logic mà ông tạo ra để trình bày các tiên đề không được chứng minh là phổ biến, mặc dù đó là nguồn gốc của ký hiệu hiện đại cho quan hệ liên thuộc (∈, xuất phát từ Peano) và bao hàm (⊃, xuất phát từ chữ 'C' đảo ngược của Peano). Peano duy trì sự phân biệt rõ ràng giữa các ký hiệu toán học và logic, vốn chưa phổ biến trong toán học; một sự tách biệt như vậy lần đầu tiên được giới thiệu trong cuốn Begriffsschrift bởi Gottlob Frege, xuất bản năm 1879.[4] Peano không biết gì về công trình của Frege và tái tạo độc lập bộ máy logic của mình dựa trên công trình của Boole và Schröder.[5]
Các tiên đề Peano xác định các tính chất số học của các số tự nhiên, thường được biểu diễn dưới dạng tập N hoặc N . {\displaystyle \mathbb {N} .} Các ký hiệu không logic cho các tiên đề bao gồm ký hiệu hằng số 0 và ký hiệu hàm một biến S.
Tiên đề đầu tiên nói rằng hằng số 0 là số tự nhiên:
Bốn tiên đề tiếp theo mô tả quan hệ bằng nhau. Vì chúng đều đúng về logic trong logic bậc nhất chứa quan hệ bằng nhau, chúng không được coi là một phần của "tiên đề Peano" trong các phương pháp hiện đại.[5]
Các tiên đề còn lại xác định các tính chất số học của các số tự nhiên. Các số tự nhiên được coi là đóng dưới một hàm "kế sau" (successor) đơn trị S.
Công thức ban đầu của Peano về các tiên đề sử dụng 1 thay vì 0 là số tự nhiên "đầu tiên".[6] Lựa chọn này là tùy ý, vì tiên đề 1 không cung cấp thêm bất kỳ thuộc tính bổ sung nào cho số 0. Tuy nhiên, vì 0 là phần tử đơn vị của phép cộng trong số học, nên hầu hết các phát biểu hiện đại của các tiên đề Peano bắt đầu từ số 0. Tiên đề 1, 6, 7, 8 định nghĩa một cách biểu diễn đơn phân của khái niệm trực quan về số tự nhiên: số 1 có thể được định nghĩa là S(0), 2 là S(S(0)), v.v. Tuy nhiên, khi xem xét khái niệm số tự nhiên được xác định bởi các tiên đề này, các tiên đề 1, 6, 7, 8 không ngụ ý rằng hàm kế sau tạo ra tất cả các số tự nhiên khác 0. Nói cách khác, chúng không đảm bảo rằng mọi số tự nhiên khác 0 phải đứng kế sau một số số tự nhiên khác.Khái niệm trực quan rằng mỗi số tự nhiên có thể đạt được bằng cách tìm số kế sau từ số 0 đủ nhiều lần đòi hỏi một tiên đề bổ sung, đôi khi được gọi là tiên đề quy nạp.
Tiên đề quy nạp đôi khi được nêu ở dạng sau:
Trong công thức ban đầu của Peano, tiên đề quy nạp là một tiên đề bậc hai. Hiện nay người ta thường thay thế nguyên tắc bậc hai này bằng sơ đồ quy nạp bậc nhất yếu hơn. Có sự khác biệt quan trọng giữa các công thức bậc hai và bậc nhất, như được thảo luận trong phần § Mô hình dưới đây.
Thực đơn
Hệ tiên đề Peano Phát biểuLiên quan
Hệ Mặt Trời Hệ sinh thái Hệ động vật Việt Nam Hệ khứu giác Hệ thống nội màng Hệ thống bảo tàng Paris Hệ thống X Window Hệ thống điện khí hóa đường sắt Hệ sinh thái biển Hệ thập lục phânTài liệu tham khảo
WikiPedia: Hệ tiên đề Peano http://www.math.uwaterloo.ca/~snburris/htdocs/scav... http://mathworld.wolfram.com/.html http://digisrv-1.biblio.etc.tu-bs.de:8080/docporta... http://www.uni-potsdam.de/u/philosophie/grassmann/... http://www.w-k-essler.de/pdfs/goedel.pdf http://www.utm.edu/research/iep/p/poincare.htm http://www.ams.org/journals/bull/1902-08-10/S0002-... //www.ams.org/mathscinet-getitem?mr=1507856 //www.ams.org/mathscinet-getitem?mr=1833464 //dx.doi.org/10.1007%2F978-94-015-7676-5_8